To search, Click below search items.
All Published Papers Search Service
Title
Propositional Extension Rule with Reduction
Author
Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Vol. 6 No. 1 pp. 190~195
Keywords
Extension rule, theorem proving, satisfiability, reduction